An evolutionary approach to translating operational specifications into declarative specifications
نویسندگان
چکیده
منابع مشابه
Inferring Declarative Requirements Specifications from Operational Scenarios
Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for requirements elicitation and explores the process of inferring formal specifications of goals and requirements from scenario descriptions. Scenarios are considered here as typical examples of system usage; they are prov...
متن کاملCompiling ER Specifications into Declarative Programs
This paper proposes an environment to support high-level database programming in a declarative programming language. In order to ensure safe database updates, all access and update operations related to the database are generated from high-level descriptions in the entityrelationship (ER) model. We propose a representation of ER diagrams in the declarative language Curry so that they can be con...
متن کاملIntent Specifications: An Approach to Building Human-Centered Specifications
ÐThis paper examines and proposes an approach to writing software specifications, based on research in systems theory, cognitive psychology, and human-machine interaction. The goal is to provide specifications that support human problem solving and the tasks that humans must perform in software development and evolution. A type of specification, called intent specifications, is constructed upon...
متن کاملTranslating Specifications in VDM-SL to PVS
This paper presents a method for translating a subset of VDM-SL to higher order logic, more speciically the PVS speciication language. This method has been used in an experiment where we have taken three existing, relatively large speciications written in VDM-SL, hand-translated these to PVS and then tried to type check the results. This is not as simple as it may sound since the speciications ...
متن کاملDeclarative Specifications of Complex Transactions
While specifications of queries are usually of a declarative nature (since the work of Codd in the early seventies), specifications of transactions are still mainly of an operational and descriptive nature. Especially descriptions of complex transactions (such as cascading deletes) tend to be very operational. Often these descriptions turn out to be nondeterministic as well. A problematic conse...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2019
ISSN: 0167-6423
DOI: 10.1016/j.scico.2019.05.006